|
In mathematics and in theoretical physics, the Stone–von Neumann theorem is any one of a number of different formulations of the uniqueness of the canonical commutation relations between position and momentum operators. The name is for Marshall Stone and John . ==Representation issues of the commutation relations== In quantum mechanics, physical observables are represented mathematically by linear operators on Hilbert spaces. For a single particle moving on the real line , there are two important observables: position and momentum. In the quantum-mechanical description of such a particle, the position operator and momentum operator are respectively given by : : on the domain of infinitely differentiable functions of compact support on . Assume to be a fixed ''non-zero'' real number — in quantum theory is (up to a factor of ) Planck's constant, which is not dimensionless; it takes a small numerical value in terms of (action) units of the macroscopic world. The operators , satisfy the canonical commutation relation Lie algebra, : Already in his classic book,〔Weyl, H. (1927), "Quantenmechanik und Gruppentheorie", ''Zeitschrift für Physik'', 46 (1927) pp. 1–46, ; Weyl, H., ''The Theory of Groups and Quantum Mechanics'', Dover Publications, 1950, ISBN 978-1-163-18343-4.〕 Hermann Weyl observed that this commutation law was ''impossible to satisfy'' for linear operators , acting on finite-dimensional spaces unless vanishes. This is apparent from taking the trace over both sides of the latter equation and using the relation ; the left-hand side is zero, the right-hand side is non-zero. Further analysis〔Note , hence , so that, .〕 shows that, in fact, any two self-adjoint operators satisfying the above commutation relation cannot be both bounded. For notational convenience, the nonvanishing square root of may be absorbed into the normalization of and , so that, effectively, it is replaced by 1. We assume this normalization in what follows. The idea of the Stone—von Neumann theorem is that any two irreducible representations of the canonical commutation relations are unitarily equivalent. Since, however, the operators involved are necessarily unbounded (as noted above), there are tricky domain issues that allow for counter-examples. To obtain a rigorous result, one must require that the operators satisfy the exponentiated form of the canonical commutation relations, known as the Weyl relations. Although, as noted below, these relations are formally equivalent to the standard canonical commutation relations, this equivalence is not rigorous, because (again) of the unbounded nature of the operators. There is also a discrete analog of the Weyl relations, which can hold in a finite-dimensional space, namely Sylvester's clock and shift matrices in the finite Heisenberg group, discussed below. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Stone–von Neumann theorem」の詳細全文を読む スポンサード リンク
|